#include <stdarg.h>
#include <stddef.h>
#include <stdio.h>
#include <stdint.h>
#include <string.h>
#include <unistd.h>

int fgetc (FILE *p)
{
	return __io_getchar();
}
